3.24.4 \(\int \frac {(d+e x)^{3/2}}{(a+b x+c x^2)^3} \, dx\) [2304]

Optimal. Leaf size=441 \[ -\frac {\sqrt {d+e x} (b d-2 a e+(2 c d-b e) x)}{2 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )^2}+\frac {\sqrt {d+e x} \left (12 b c d-7 b^2 e+4 a c e+12 c (2 c d-b e) x\right )}{4 \left (b^2-4 a c\right )^2 \left (a+b x+c x^2\right )}-\frac {3 \sqrt {c} \left (16 c^2 d^2+b \left (3 b-2 \sqrt {b^2-4 a c}\right ) e^2-4 c e \left (4 b d-\sqrt {b^2-4 a c} d-a e\right )\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x}}{\sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e}}\right )}{2 \sqrt {2} \left (b^2-4 a c\right )^{5/2} \sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e}}+\frac {3 \sqrt {c} \left (16 c^2 d^2+b \left (3 b+2 \sqrt {b^2-4 a c}\right ) e^2-4 c e \left (4 b d+\sqrt {b^2-4 a c} d-a e\right )\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x}}{\sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e}}\right )}{2 \sqrt {2} \left (b^2-4 a c\right )^{5/2} \sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e}} \]

[Out]

-1/2*(b*d-2*a*e+(-b*e+2*c*d)*x)*(e*x+d)^(1/2)/(-4*a*c+b^2)/(c*x^2+b*x+a)^2+1/4*(12*b*c*d-7*b^2*e+4*a*c*e+12*c*
(-b*e+2*c*d)*x)*(e*x+d)^(1/2)/(-4*a*c+b^2)^2/(c*x^2+b*x+a)-3/4*arctanh(2^(1/2)*c^(1/2)*(e*x+d)^(1/2)/(2*c*d-e*
(b-(-4*a*c+b^2)^(1/2)))^(1/2))*c^(1/2)*(16*c^2*d^2+b*e^2*(3*b-2*(-4*a*c+b^2)^(1/2))-4*c*e*(4*b*d-a*e-d*(-4*a*c
+b^2)^(1/2)))/(-4*a*c+b^2)^(5/2)*2^(1/2)/(2*c*d-e*(b-(-4*a*c+b^2)^(1/2)))^(1/2)+3/4*arctanh(2^(1/2)*c^(1/2)*(e
*x+d)^(1/2)/(2*c*d-e*(b+(-4*a*c+b^2)^(1/2)))^(1/2))*c^(1/2)*(16*c^2*d^2+b*e^2*(3*b+2*(-4*a*c+b^2)^(1/2))-4*c*e
*(4*b*d-a*e+d*(-4*a*c+b^2)^(1/2)))/(-4*a*c+b^2)^(5/2)*2^(1/2)/(2*c*d-e*(b+(-4*a*c+b^2)^(1/2)))^(1/2)

________________________________________________________________________________________

Rubi [A]
time = 1.36, antiderivative size = 441, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 5, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.227, Rules used = {752, 836, 840, 1180, 214} \begin {gather*} -\frac {3 \sqrt {c} \left (-4 c e \left (-d \sqrt {b^2-4 a c}-a e+4 b d\right )+b e^2 \left (3 b-2 \sqrt {b^2-4 a c}\right )+16 c^2 d^2\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x}}{\sqrt {2 c d-e \left (b-\sqrt {b^2-4 a c}\right )}}\right )}{2 \sqrt {2} \left (b^2-4 a c\right )^{5/2} \sqrt {2 c d-e \left (b-\sqrt {b^2-4 a c}\right )}}+\frac {3 \sqrt {c} \left (-4 c e \left (d \sqrt {b^2-4 a c}-a e+4 b d\right )+b e^2 \left (2 \sqrt {b^2-4 a c}+3 b\right )+16 c^2 d^2\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x}}{\sqrt {2 c d-e \left (\sqrt {b^2-4 a c}+b\right )}}\right )}{2 \sqrt {2} \left (b^2-4 a c\right )^{5/2} \sqrt {2 c d-e \left (\sqrt {b^2-4 a c}+b\right )}}-\frac {\sqrt {d+e x} (-2 a e+x (2 c d-b e)+b d)}{2 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )^2}+\frac {\sqrt {d+e x} \left (4 a c e-7 b^2 e+12 c x (2 c d-b e)+12 b c d\right )}{4 \left (b^2-4 a c\right )^2 \left (a+b x+c x^2\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(d + e*x)^(3/2)/(a + b*x + c*x^2)^3,x]

[Out]

-1/2*(Sqrt[d + e*x]*(b*d - 2*a*e + (2*c*d - b*e)*x))/((b^2 - 4*a*c)*(a + b*x + c*x^2)^2) + (Sqrt[d + e*x]*(12*
b*c*d - 7*b^2*e + 4*a*c*e + 12*c*(2*c*d - b*e)*x))/(4*(b^2 - 4*a*c)^2*(a + b*x + c*x^2)) - (3*Sqrt[c]*(16*c^2*
d^2 + b*(3*b - 2*Sqrt[b^2 - 4*a*c])*e^2 - 4*c*e*(4*b*d - Sqrt[b^2 - 4*a*c]*d - a*e))*ArcTanh[(Sqrt[2]*Sqrt[c]*
Sqrt[d + e*x])/Sqrt[2*c*d - (b - Sqrt[b^2 - 4*a*c])*e]])/(2*Sqrt[2]*(b^2 - 4*a*c)^(5/2)*Sqrt[2*c*d - (b - Sqrt
[b^2 - 4*a*c])*e]) + (3*Sqrt[c]*(16*c^2*d^2 + b*(3*b + 2*Sqrt[b^2 - 4*a*c])*e^2 - 4*c*e*(4*b*d + Sqrt[b^2 - 4*
a*c]*d - a*e))*ArcTanh[(Sqrt[2]*Sqrt[c]*Sqrt[d + e*x])/Sqrt[2*c*d - (b + Sqrt[b^2 - 4*a*c])*e]])/(2*Sqrt[2]*(b
^2 - 4*a*c)^(5/2)*Sqrt[2*c*d - (b + Sqrt[b^2 - 4*a*c])*e])

Rule 214

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[-a/b, 2]/a)*ArcTanh[x/Rt[-a/b, 2]], x] /; FreeQ[{a, b},
x] && NegQ[a/b]

Rule 752

Int[((d_.) + (e_.)*(x_))^(m_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Simp[(d + e*x)^(m - 1)*(d
*b - 2*a*e + (2*c*d - b*e)*x)*((a + b*x + c*x^2)^(p + 1)/((p + 1)*(b^2 - 4*a*c))), x] + Dist[1/((p + 1)*(b^2 -
 4*a*c)), Int[(d + e*x)^(m - 2)*Simp[e*(2*a*e*(m - 1) + b*d*(2*p - m + 4)) - 2*c*d^2*(2*p + 3) + e*(b*e - 2*d*
c)*(m + 2*p + 2)*x, x]*(a + b*x + c*x^2)^(p + 1), x], x] /; FreeQ[{a, b, c, d, e}, x] && NeQ[b^2 - 4*a*c, 0] &
& NeQ[c*d^2 - b*d*e + a*e^2, 0] && NeQ[2*c*d - b*e, 0] && LtQ[p, -1] && GtQ[m, 1] && IntQuadraticQ[a, b, c, d,
 e, m, p, x]

Rule 836

Int[((d_.) + (e_.)*(x_))^(m_)*((f_.) + (g_.)*(x_))*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Simp
[(d + e*x)^(m + 1)*(f*(b*c*d - b^2*e + 2*a*c*e) - a*g*(2*c*d - b*e) + c*(f*(2*c*d - b*e) - g*(b*d - 2*a*e))*x)
*((a + b*x + c*x^2)^(p + 1)/((p + 1)*(b^2 - 4*a*c)*(c*d^2 - b*d*e + a*e^2))), x] + Dist[1/((p + 1)*(b^2 - 4*a*
c)*(c*d^2 - b*d*e + a*e^2)), Int[(d + e*x)^m*(a + b*x + c*x^2)^(p + 1)*Simp[f*(b*c*d*e*(2*p - m + 2) + b^2*e^2
*(p + m + 2) - 2*c^2*d^2*(2*p + 3) - 2*a*c*e^2*(m + 2*p + 3)) - g*(a*e*(b*e - 2*c*d*m + b*e*m) - b*d*(3*c*d -
b*e + 2*c*d*p - b*e*p)) + c*e*(g*(b*d - 2*a*e) - f*(2*c*d - b*e))*(m + 2*p + 4)*x, x], x], x] /; FreeQ[{a, b,
c, d, e, f, g, m}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e^2, 0] && LtQ[p, -1] && (IntegerQ[m] ||
 IntegerQ[p] || IntegersQ[2*m, 2*p])

Rule 840

Int[((f_.) + (g_.)*(x_))/(Sqrt[(d_.) + (e_.)*(x_)]*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)), x_Symbol] :> Dist[2,
Subst[Int[(e*f - d*g + g*x^2)/(c*d^2 - b*d*e + a*e^2 - (2*c*d - b*e)*x^2 + c*x^4), x], x, Sqrt[d + e*x]], x] /
; FreeQ[{a, b, c, d, e, f, g}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e^2, 0]

Rule 1180

Int[((d_) + (e_.)*(x_)^2)/((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4), x_Symbol] :> With[{q = Rt[b^2 - 4*a*c, 2]}, Di
st[e/2 + (2*c*d - b*e)/(2*q), Int[1/(b/2 - q/2 + c*x^2), x], x] + Dist[e/2 - (2*c*d - b*e)/(2*q), Int[1/(b/2 +
 q/2 + c*x^2), x], x]] /; FreeQ[{a, b, c, d, e}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - a*e^2, 0] && PosQ[b^
2 - 4*a*c]

Rubi steps

\begin {align*} \int \frac {(d+e x)^{3/2}}{\left (a+b x+c x^2\right )^3} \, dx &=-\frac {\sqrt {d+e x} (b d-2 a e+(2 c d-b e) x)}{2 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )^2}-\frac {\int \frac {\frac {1}{2} \left (12 c d^2-7 b d e+2 a e^2\right )+\frac {5}{2} e (2 c d-b e) x}{\sqrt {d+e x} \left (a+b x+c x^2\right )^2} \, dx}{2 \left (b^2-4 a c\right )}\\ &=-\frac {\sqrt {d+e x} (b d-2 a e+(2 c d-b e) x)}{2 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )^2}+\frac {\sqrt {d+e x} \left (12 b c d-7 b^2 e+4 a c e+12 c (2 c d-b e) x\right )}{4 \left (b^2-4 a c\right )^2 \left (a+b x+c x^2\right )}+\frac {\int \frac {\frac {3}{4} \left (c d^2-b d e+a e^2\right ) \left (16 c^2 d^2-12 b c d e+b^2 e^2+4 a c e^2\right )+3 c e (2 c d-b e) \left (c d^2-b d e+a e^2\right ) x}{\sqrt {d+e x} \left (a+b x+c x^2\right )} \, dx}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )}\\ &=-\frac {\sqrt {d+e x} (b d-2 a e+(2 c d-b e) x)}{2 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )^2}+\frac {\sqrt {d+e x} \left (12 b c d-7 b^2 e+4 a c e+12 c (2 c d-b e) x\right )}{4 \left (b^2-4 a c\right )^2 \left (a+b x+c x^2\right )}+\frac {\text {Subst}\left (\int \frac {-3 c d e (2 c d-b e) \left (c d^2-b d e+a e^2\right )+\frac {3}{4} e \left (c d^2-b d e+a e^2\right ) \left (16 c^2 d^2-12 b c d e+b^2 e^2+4 a c e^2\right )+3 c e (2 c d-b e) \left (c d^2-b d e+a e^2\right ) x^2}{c d^2-b d e+a e^2+(-2 c d+b e) x^2+c x^4} \, dx,x,\sqrt {d+e x}\right )}{\left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )}\\ &=-\frac {\sqrt {d+e x} (b d-2 a e+(2 c d-b e) x)}{2 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )^2}+\frac {\sqrt {d+e x} \left (12 b c d-7 b^2 e+4 a c e+12 c (2 c d-b e) x\right )}{4 \left (b^2-4 a c\right )^2 \left (a+b x+c x^2\right )}+\frac {\left (3 c \left (16 c^2 d^2+b \left (3 b-2 \sqrt {b^2-4 a c}\right ) e^2-4 c e \left (4 b d-\sqrt {b^2-4 a c} d-a e\right )\right )\right ) \text {Subst}\left (\int \frac {1}{-\frac {1}{2} \sqrt {b^2-4 a c} e+\frac {1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt {d+e x}\right )}{4 \left (b^2-4 a c\right )^{5/2}}-\frac {\left (3 c \left (16 c^2 d^2+b \left (3 b+2 \sqrt {b^2-4 a c}\right ) e^2-4 c e \left (4 b d+\sqrt {b^2-4 a c} d-a e\right )\right )\right ) \text {Subst}\left (\int \frac {1}{\frac {1}{2} \sqrt {b^2-4 a c} e+\frac {1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt {d+e x}\right )}{4 \left (b^2-4 a c\right )^{5/2}}\\ &=-\frac {\sqrt {d+e x} (b d-2 a e+(2 c d-b e) x)}{2 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )^2}+\frac {\sqrt {d+e x} \left (12 b c d-7 b^2 e+4 a c e+12 c (2 c d-b e) x\right )}{4 \left (b^2-4 a c\right )^2 \left (a+b x+c x^2\right )}-\frac {3 \sqrt {c} \left (16 c^2 d^2+b \left (3 b-2 \sqrt {b^2-4 a c}\right ) e^2-4 c e \left (4 b d-\sqrt {b^2-4 a c} d-a e\right )\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x}}{\sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e}}\right )}{2 \sqrt {2} \left (b^2-4 a c\right )^{5/2} \sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e}}+\frac {3 \sqrt {c} \left (16 c^2 d^2+b \left (3 b+2 \sqrt {b^2-4 a c}\right ) e^2-4 c e \left (4 b d+\sqrt {b^2-4 a c} d-a e\right )\right ) \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {c} \sqrt {d+e x}}{\sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e}}\right )}{2 \sqrt {2} \left (b^2-4 a c\right )^{5/2} \sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(4707\) vs. \(2(441)=882\).
time = 16.19, size = 4707, normalized size = 10.67 \begin {gather*} \text {Result too large to show} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(d + e*x)^(3/2)/(a + b*x + c*x^2)^3,x]

[Out]

-1/2*((d + e*x)^(5/2)*(b*c*d - b^2*e + 2*a*c*e + c*(2*c*d - b*e)*x))/((b^2 - 4*a*c)*(c*d^2 - b*d*e + a*e^2)*(a
 + b*x + c*x^2)^2) - (-(((d + e*x)^(5/2)*(-1/2*(a*c*e*(2*c*d - b*e)^2) + ((b*c*d - b^2*e + 2*a*c*e)*(12*c^2*d^
2 + b^2*e^2 - c*e*(11*b*d - 6*a*e)))/2 + c*(-1/2*(c*e*(b*d - 2*a*e)*(2*c*d - b*e)) + ((2*c*d - b*e)*(12*c^2*d^
2 + b^2*e^2 - c*e*(11*b*d - 6*a*e)))/2)*x))/((b^2 - 4*a*c)*(c*d^2 - b*d*e + a*e^2)*(a + b*x + c*x^2))) - (-1/2
*(e*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e))*(d + e*x)^(3/2)) + (2*((3*((-3*c^2*d*e*(2*c*d
 - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*b*c*e^2*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4
*c*e*(3*b*d - 2*a*e)))/4 + (3*c*e*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d - a*e) - 4*c^3*d^2*e*(11*b*d - a*
e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4)*Sqrt[d + e*x])/c + (4*((Sqrt[2*c*d - b*e - Sqrt[b^2 -
4*a*c]*e]*(((3*c*e*((3*a*c*e^2*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*d*(16*c^
4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d - a*e) - 4*c^3*d^2*e*(11*b*d - a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e -
4*a^2*e^2)))/4))/2 + (3*c*d*((-3*c^2*d*e*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*
b*c*e^2*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*e*(16*c^4*d^4 + b^4*e^4 - 7*b^2
*c*e^3*(2*b*d - a*e) - 4*c^3*d^2*e*(11*b*d - a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4))/2 - (3
*b*e*((-3*c^2*d*e*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*b*c*e^2*(2*c*d - b*e)*(
12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*e*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d - a*e) -
4*c^3*d^2*e*(11*b*d - a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4))/2)/2 - (-1/2*((-2*c*d + b*e)*
((3*c*e*((3*a*c*e^2*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*d*(16*c^4*d^4 + b^4
*e^4 - 7*b^2*c*e^3*(2*b*d - a*e) - 4*c^3*d^2*e*(11*b*d - a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^2*e^2))
)/4))/2 + (3*c*d*((-3*c^2*d*e*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*b*c*e^2*(2*
c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*e*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b
*d - a*e) - 4*c^3*d^2*e*(11*b*d - a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4))/2 - (3*b*e*((-3*c
^2*d*e*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*b*c*e^2*(2*c*d - b*e)*(12*c^2*d^2
+ b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*e*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d - a*e) - 4*c^3*d^2*e
*(11*b*d - a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4))/2)) + 2*c*((e*((3*c*d*((3*a*c*e^2*(2*c*d
 - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*d*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d
- a*e) - 4*c^3*d^2*e*(11*b*d - a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4))/2 - (3*a*e*((-3*c^2*
d*e*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*b*c*e^2*(2*c*d - b*e)*(12*c^2*d^2 + b
^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*e*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d - a*e) - 4*c^3*d^2*e*(1
1*b*d - a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4))/2))/2 - (d*((3*c*e*((3*a*c*e^2*(2*c*d - b*e
)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*d*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d - a*e)
 - 4*c^3*d^2*e*(11*b*d - a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4))/2 + (3*c*d*((-3*c^2*d*e*(2
*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*b*c*e^2*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2
 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*e*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d - a*e) - 4*c^3*d^2*e*(11*b*d
- a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4))/2 - (3*b*e*((-3*c^2*d*e*(2*c*d - b*e)*(12*c^2*d^2
 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*b*c*e^2*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e
)))/4 + (3*c*e*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d - a*e) - 4*c^3*d^2*e*(11*b*d - a*e) + c^2*e^2*(41*b^
2*d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4))/2))/2))/(Sqrt[b^2 - 4*a*c]*e))*ArcTanh[(Sqrt[2]*Sqrt[c]*Sqrt[d + e*x])/S
qrt[2*c*d - b*e - Sqrt[b^2 - 4*a*c]*e]])/(Sqrt[2]*Sqrt[c]*(-2*c*d + b*e + Sqrt[b^2 - 4*a*c]*e)) + (Sqrt[2*c*d
- b*e + Sqrt[b^2 - 4*a*c]*e]*(((3*c*e*((3*a*c*e^2*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e))
)/4 + (3*c*d*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d - a*e) - 4*c^3*d^2*e*(11*b*d - a*e) + c^2*e^2*(41*b^2*
d^2 - 12*a*b*d*e - 4*a^2*e^2)))/4))/2 + (3*c*d*((-3*c^2*d*e*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d
 - 2*a*e)))/4 + (3*b*c*e^2*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*e*(16*c^4*d^
4 + b^4*e^4 - 7*b^2*c*e^3*(2*b*d - a*e) - 4*c^3*d^2*e*(11*b*d - a*e) + c^2*e^2*(41*b^2*d^2 - 12*a*b*d*e - 4*a^
2*e^2)))/4))/2 - (3*b*e*((-3*c^2*d*e*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*b*c*
e^2*(2*c*d - b*e)*(12*c^2*d^2 + b^2*e^2 - 4*c*e*(3*b*d - 2*a*e)))/4 + (3*c*e*(16*c^4*d^4 + b^4*e^4 - 7*b^2*c*e
^3*(2*b*d - a*e) - 4*c^3*d^2*e*(11*b*d - a*e) +...

________________________________________________________________________________________

Maple [A]
time = 0.79, size = 703, normalized size = 1.59

method result size
derivativedivides \(2 e^{5} \left (\frac {-\frac {3 c^{2} \left (b e -2 c d \right ) \left (e x +d \right )^{\frac {7}{2}}}{2 e^{4} \left (16 a^{2} c^{2}-8 a c \,b^{2}+b^{4}\right )}+\frac {c \left (4 a c \,e^{2}-19 b^{2} e^{2}+72 b c d e -72 c^{2} d^{2}\right ) \left (e x +d \right )^{\frac {5}{2}}}{8 e^{4} \left (16 a^{2} c^{2}-8 a c \,b^{2}+b^{4}\right )}-\frac {\left (b e -2 c d \right ) \left (16 a c \,e^{2}+5 b^{2} e^{2}-36 b c d e +36 c^{2} d^{2}\right ) \left (e x +d \right )^{\frac {3}{2}}}{8 e^{4} \left (16 a^{2} c^{2}-8 a c \,b^{2}+b^{4}\right )}-\frac {3 \left (4 e^{4} a^{2} c +a \,b^{2} e^{4}-12 a b c d \,e^{3}+12 d^{2} e^{2} c^{2} a -b^{3} d \,e^{3}+9 b^{2} c \,d^{2} e^{2}-16 d^{3} e b \,c^{2}+8 d^{4} c^{3}\right ) \sqrt {e x +d}}{8 e^{4} \left (16 a^{2} c^{2}-8 a c \,b^{2}+b^{4}\right )}}{\left (\left (e x +d \right )^{2} c +b e \left (e x +d \right )-2 c d \left (e x +d \right )+e^{2} a -b d e +c \,d^{2}\right )^{2}}+\frac {3 c \left (\frac {\left (-4 a c \,e^{2}-3 b^{2} e^{2}+16 b c d e -16 c^{2} d^{2}-2 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, b e +4 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, c d \right ) \sqrt {2}\, \arctan \left (\frac {c \sqrt {e x +d}\, \sqrt {2}}{\sqrt {\left (b e -2 c d +\sqrt {-e^{2} \left (4 a c -b^{2}\right )}\right ) c}}\right )}{4 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, \sqrt {\left (b e -2 c d +\sqrt {-e^{2} \left (4 a c -b^{2}\right )}\right ) c}}-\frac {\left (4 a c \,e^{2}+3 b^{2} e^{2}-16 b c d e +16 c^{2} d^{2}-2 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, b e +4 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, c d \right ) \sqrt {2}\, \arctanh \left (\frac {c \sqrt {e x +d}\, \sqrt {2}}{\sqrt {\left (-b e +2 c d +\sqrt {-e^{2} \left (4 a c -b^{2}\right )}\right ) c}}\right )}{4 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, \sqrt {\left (-b e +2 c d +\sqrt {-e^{2} \left (4 a c -b^{2}\right )}\right ) c}}\right )}{2 e^{4} \left (16 a^{2} c^{2}-8 a c \,b^{2}+b^{4}\right )}\right )\) \(703\)
default \(2 e^{5} \left (\frac {-\frac {3 c^{2} \left (b e -2 c d \right ) \left (e x +d \right )^{\frac {7}{2}}}{2 e^{4} \left (16 a^{2} c^{2}-8 a c \,b^{2}+b^{4}\right )}+\frac {c \left (4 a c \,e^{2}-19 b^{2} e^{2}+72 b c d e -72 c^{2} d^{2}\right ) \left (e x +d \right )^{\frac {5}{2}}}{8 e^{4} \left (16 a^{2} c^{2}-8 a c \,b^{2}+b^{4}\right )}-\frac {\left (b e -2 c d \right ) \left (16 a c \,e^{2}+5 b^{2} e^{2}-36 b c d e +36 c^{2} d^{2}\right ) \left (e x +d \right )^{\frac {3}{2}}}{8 e^{4} \left (16 a^{2} c^{2}-8 a c \,b^{2}+b^{4}\right )}-\frac {3 \left (4 e^{4} a^{2} c +a \,b^{2} e^{4}-12 a b c d \,e^{3}+12 d^{2} e^{2} c^{2} a -b^{3} d \,e^{3}+9 b^{2} c \,d^{2} e^{2}-16 d^{3} e b \,c^{2}+8 d^{4} c^{3}\right ) \sqrt {e x +d}}{8 e^{4} \left (16 a^{2} c^{2}-8 a c \,b^{2}+b^{4}\right )}}{\left (\left (e x +d \right )^{2} c +b e \left (e x +d \right )-2 c d \left (e x +d \right )+e^{2} a -b d e +c \,d^{2}\right )^{2}}+\frac {3 c \left (\frac {\left (-4 a c \,e^{2}-3 b^{2} e^{2}+16 b c d e -16 c^{2} d^{2}-2 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, b e +4 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, c d \right ) \sqrt {2}\, \arctan \left (\frac {c \sqrt {e x +d}\, \sqrt {2}}{\sqrt {\left (b e -2 c d +\sqrt {-e^{2} \left (4 a c -b^{2}\right )}\right ) c}}\right )}{4 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, \sqrt {\left (b e -2 c d +\sqrt {-e^{2} \left (4 a c -b^{2}\right )}\right ) c}}-\frac {\left (4 a c \,e^{2}+3 b^{2} e^{2}-16 b c d e +16 c^{2} d^{2}-2 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, b e +4 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, c d \right ) \sqrt {2}\, \arctanh \left (\frac {c \sqrt {e x +d}\, \sqrt {2}}{\sqrt {\left (-b e +2 c d +\sqrt {-e^{2} \left (4 a c -b^{2}\right )}\right ) c}}\right )}{4 \sqrt {-e^{2} \left (4 a c -b^{2}\right )}\, \sqrt {\left (-b e +2 c d +\sqrt {-e^{2} \left (4 a c -b^{2}\right )}\right ) c}}\right )}{2 e^{4} \left (16 a^{2} c^{2}-8 a c \,b^{2}+b^{4}\right )}\right )\) \(703\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((e*x+d)^(3/2)/(c*x^2+b*x+a)^3,x,method=_RETURNVERBOSE)

[Out]

2*e^5*((-3/2*c^2*(b*e-2*c*d)/e^4/(16*a^2*c^2-8*a*b^2*c+b^4)*(e*x+d)^(7/2)+1/8*c*(4*a*c*e^2-19*b^2*e^2+72*b*c*d
*e-72*c^2*d^2)/e^4/(16*a^2*c^2-8*a*b^2*c+b^4)*(e*x+d)^(5/2)-1/8*(b*e-2*c*d)*(16*a*c*e^2+5*b^2*e^2-36*b*c*d*e+3
6*c^2*d^2)/e^4/(16*a^2*c^2-8*a*b^2*c+b^4)*(e*x+d)^(3/2)-3/8*(4*a^2*c*e^4+a*b^2*e^4-12*a*b*c*d*e^3+12*a*c^2*d^2
*e^2-b^3*d*e^3+9*b^2*c*d^2*e^2-16*b*c^2*d^3*e+8*c^3*d^4)/e^4/(16*a^2*c^2-8*a*b^2*c+b^4)*(e*x+d)^(1/2))/((e*x+d
)^2*c+b*e*(e*x+d)-2*c*d*(e*x+d)+e^2*a-b*d*e+c*d^2)^2+3/2/e^4/(16*a^2*c^2-8*a*b^2*c+b^4)*c*(1/4*(-4*a*c*e^2-3*b
^2*e^2+16*b*c*d*e-16*c^2*d^2-2*(-e^2*(4*a*c-b^2))^(1/2)*b*e+4*(-e^2*(4*a*c-b^2))^(1/2)*c*d)/(-e^2*(4*a*c-b^2))
^(1/2)*2^(1/2)/((b*e-2*c*d+(-e^2*(4*a*c-b^2))^(1/2))*c)^(1/2)*arctan(c*(e*x+d)^(1/2)*2^(1/2)/((b*e-2*c*d+(-e^2
*(4*a*c-b^2))^(1/2))*c)^(1/2))-1/4*(4*a*c*e^2+3*b^2*e^2-16*b*c*d*e+16*c^2*d^2-2*(-e^2*(4*a*c-b^2))^(1/2)*b*e+4
*(-e^2*(4*a*c-b^2))^(1/2)*c*d)/(-e^2*(4*a*c-b^2))^(1/2)*2^(1/2)/((-b*e+2*c*d+(-e^2*(4*a*c-b^2))^(1/2))*c)^(1/2
)*arctanh(c*(e*x+d)^(1/2)*2^(1/2)/((-b*e+2*c*d+(-e^2*(4*a*c-b^2))^(1/2))*c)^(1/2))))

________________________________________________________________________________________

Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)^(3/2)/(c*x^2+b*x+a)^3,x, algorithm="maxima")

[Out]

integrate((x*e + d)^(3/2)/(c*x^2 + b*x + a)^3, x)

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 10990 vs. \(2 (396) = 792\).
time = 3.18, size = 10990, normalized size = 24.92 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)^(3/2)/(c*x^2+b*x+a)^3,x, algorithm="fricas")

[Out]

-1/8*(3*sqrt(1/2)*(a^2*b^4 - 8*a^3*b^2*c + 16*a^4*c^2 + (b^4*c^2 - 8*a*b^2*c^3 + 16*a^2*c^4)*x^4 + 2*(b^5*c -
8*a*b^3*c^2 + 16*a^2*b*c^3)*x^3 + (b^6 - 6*a*b^4*c + 32*a^3*c^3)*x^2 + 2*(a*b^5 - 8*a^2*b^3*c + 16*a^3*b*c^2)*
x)*sqrt((512*c^5*d^5 - 1280*b*c^4*d^4*e + 160*(7*b^2*c^3 + 4*a*c^4)*d^3*e^2 - 80*(5*b^3*c^2 + 12*a*b*c^3)*d^2*
e^3 + 10*(5*b^4*c + 40*a*b^2*c^2 + 16*a^2*c^3)*d*e^4 - (b^5 + 40*a*b^3*c + 80*a^2*b*c^2)*e^5 + ((b^10*c - 20*a
*b^8*c^2 + 160*a^2*b^6*c^3 - 640*a^3*b^4*c^4 + 1280*a^4*b^2*c^5 - 1024*a^5*c^6)*d^2 - (b^11 - 20*a*b^9*c + 160
*a^2*b^7*c^2 - 640*a^3*b^5*c^3 + 1280*a^4*b^3*c^4 - 1024*a^5*b*c^5)*d*e + (a*b^10 - 20*a^2*b^8*c + 160*a^3*b^6
*c^2 - 640*a^4*b^4*c^3 + 1280*a^5*b^2*c^4 - 1024*a^6*c^5)*e^2)*e^5/sqrt((b^10*c^2 - 20*a*b^8*c^3 + 160*a^2*b^6
*c^4 - 640*a^3*b^4*c^5 + 1280*a^4*b^2*c^6 - 1024*a^5*c^7)*d^4 - 2*(b^11*c - 20*a*b^9*c^2 + 160*a^2*b^7*c^3 - 6
40*a^3*b^5*c^4 + 1280*a^4*b^3*c^5 - 1024*a^5*b*c^6)*d^3*e + (b^12 - 18*a*b^10*c + 120*a^2*b^8*c^2 - 320*a^3*b^
6*c^3 + 1536*a^5*b^2*c^5 - 2048*a^6*c^6)*d^2*e^2 - 2*(a*b^11 - 20*a^2*b^9*c + 160*a^3*b^7*c^2 - 640*a^4*b^5*c^
3 + 1280*a^5*b^3*c^4 - 1024*a^6*b*c^5)*d*e^3 + (a^2*b^10 - 20*a^3*b^8*c + 160*a^4*b^6*c^2 - 640*a^5*b^4*c^3 +
1280*a^6*b^2*c^4 - 1024*a^7*c^5)*e^4))/((b^10*c - 20*a*b^8*c^2 + 160*a^2*b^6*c^3 - 640*a^3*b^4*c^4 + 1280*a^4*
b^2*c^5 - 1024*a^5*c^6)*d^2 - (b^11 - 20*a*b^9*c + 160*a^2*b^7*c^2 - 640*a^3*b^5*c^3 + 1280*a^4*b^3*c^4 - 1024
*a^5*b*c^5)*d*e + (a*b^10 - 20*a^2*b^8*c + 160*a^3*b^6*c^2 - 640*a^4*b^4*c^3 + 1280*a^5*b^2*c^4 - 1024*a^6*c^5
)*e^2))*log(27/2*sqrt(1/2)*(8*(b^6*c^2 - 12*a*b^4*c^3 + 48*a^2*b^2*c^4 - 64*a^3*c^5)*d^2*e^6 - 8*(b^7*c - 12*a
*b^5*c^2 + 48*a^2*b^3*c^3 - 64*a^3*b*c^4)*d*e^7 + (b^8 - 8*a*b^6*c + 128*a^3*b^2*c^3 - 256*a^4*c^4)*e^8 - (32*
(b^10*c^4 - 20*a*b^8*c^5 + 160*a^2*b^6*c^6 - 640*a^3*b^4*c^7 + 1280*a^4*b^2*c^8 - 1024*a^5*c^9)*d^5 - 80*(b^11
*c^3 - 20*a*b^9*c^4 + 160*a^2*b^7*c^5 - 640*a^3*b^5*c^6 + 1280*a^4*b^3*c^7 - 1024*a^5*b*c^8)*d^4*e + 2*(33*b^1
2*c^2 - 632*a*b^10*c^3 + 4720*a^2*b^8*c^4 - 16640*a^3*b^6*c^5 + 24320*a^4*b^4*c^6 + 2048*a^5*b^2*c^7 - 28672*a
^6*c^8)*d^3*e^2 - (19*b^13*c - 296*a*b^11*c^2 + 1360*a^2*b^9*c^3 + 1280*a^3*b^7*c^4 - 29440*a^4*b^5*c^5 + 8806
4*a^5*b^3*c^6 - 86016*a^6*b*c^7)*d^2*e^3 + (b^14 + 10*a*b^12*c - 416*a^2*b^10*c^2 + 3680*a^3*b^8*c^3 - 14080*a
^4*b^6*c^4 + 22016*a^5*b^4*c^5 - 24576*a^7*c^7)*d*e^4 - (a*b^13 - 8*a^2*b^11*c - 80*a^3*b^9*c^2 + 1280*a^4*b^7
*c^3 - 6400*a^5*b^5*c^4 + 14336*a^6*b^3*c^5 - 12288*a^7*b*c^6)*e^5)*e^5/sqrt((b^10*c^2 - 20*a*b^8*c^3 + 160*a^
2*b^6*c^4 - 640*a^3*b^4*c^5 + 1280*a^4*b^2*c^6 - 1024*a^5*c^7)*d^4 - 2*(b^11*c - 20*a*b^9*c^2 + 160*a^2*b^7*c^
3 - 640*a^3*b^5*c^4 + 1280*a^4*b^3*c^5 - 1024*a^5*b*c^6)*d^3*e + (b^12 - 18*a*b^10*c + 120*a^2*b^8*c^2 - 320*a
^3*b^6*c^3 + 1536*a^5*b^2*c^5 - 2048*a^6*c^6)*d^2*e^2 - 2*(a*b^11 - 20*a^2*b^9*c + 160*a^3*b^7*c^2 - 640*a^4*b
^5*c^3 + 1280*a^5*b^3*c^4 - 1024*a^6*b*c^5)*d*e^3 + (a^2*b^10 - 20*a^3*b^8*c + 160*a^4*b^6*c^2 - 640*a^5*b^4*c
^3 + 1280*a^6*b^2*c^4 - 1024*a^7*c^5)*e^4))*sqrt((512*c^5*d^5 - 1280*b*c^4*d^4*e + 160*(7*b^2*c^3 + 4*a*c^4)*d
^3*e^2 - 80*(5*b^3*c^2 + 12*a*b*c^3)*d^2*e^3 + 10*(5*b^4*c + 40*a*b^2*c^2 + 16*a^2*c^3)*d*e^4 - (b^5 + 40*a*b^
3*c + 80*a^2*b*c^2)*e^5 + ((b^10*c - 20*a*b^8*c^2 + 160*a^2*b^6*c^3 - 640*a^3*b^4*c^4 + 1280*a^4*b^2*c^5 - 102
4*a^5*c^6)*d^2 - (b^11 - 20*a*b^9*c + 160*a^2*b^7*c^2 - 640*a^3*b^5*c^3 + 1280*a^4*b^3*c^4 - 1024*a^5*b*c^5)*d
*e + (a*b^10 - 20*a^2*b^8*c + 160*a^3*b^6*c^2 - 640*a^4*b^4*c^3 + 1280*a^5*b^2*c^4 - 1024*a^6*c^5)*e^2)*e^5/sq
rt((b^10*c^2 - 20*a*b^8*c^3 + 160*a^2*b^6*c^4 - 640*a^3*b^4*c^5 + 1280*a^4*b^2*c^6 - 1024*a^5*c^7)*d^4 - 2*(b^
11*c - 20*a*b^9*c^2 + 160*a^2*b^7*c^3 - 640*a^3*b^5*c^4 + 1280*a^4*b^3*c^5 - 1024*a^5*b*c^6)*d^3*e + (b^12 - 1
8*a*b^10*c + 120*a^2*b^8*c^2 - 320*a^3*b^6*c^3 + 1536*a^5*b^2*c^5 - 2048*a^6*c^6)*d^2*e^2 - 2*(a*b^11 - 20*a^2
*b^9*c + 160*a^3*b^7*c^2 - 640*a^4*b^5*c^3 + 1280*a^5*b^3*c^4 - 1024*a^6*b*c^5)*d*e^3 + (a^2*b^10 - 20*a^3*b^8
*c + 160*a^4*b^6*c^2 - 640*a^5*b^4*c^3 + 1280*a^6*b^2*c^4 - 1024*a^7*c^5)*e^4))/((b^10*c - 20*a*b^8*c^2 + 160*
a^2*b^6*c^3 - 640*a^3*b^4*c^4 + 1280*a^4*b^2*c^5 - 1024*a^5*c^6)*d^2 - (b^11 - 20*a*b^9*c + 160*a^2*b^7*c^2 -
640*a^3*b^5*c^3 + 1280*a^4*b^3*c^4 - 1024*a^5*b*c^5)*d*e + (a*b^10 - 20*a^2*b^8*c + 160*a^3*b^6*c^2 - 640*a^4*
b^4*c^3 + 1280*a^5*b^2*c^4 - 1024*a^6*c^5)*e^2)) + 27*(256*c^5*d^4*e^5 - 512*b*c^4*d^3*e^6 + 48*(7*b^2*c^3 + 4
*a*c^4)*d^2*e^7 - 16*(5*b^3*c^2 + 12*a*b*c^3)*d*e^8 + (5*b^4*c + 40*a*b^2*c^2 + 16*a^2*c^3)*e^9)*sqrt(x*e + d)
) - 3*sqrt(1/2)*(a^2*b^4 - 8*a^3*b^2*c + 16*a^4*c^2 + (b^4*c^2 - 8*a*b^2*c^3 + 16*a^2*c^4)*x^4 + 2*(b^5*c - 8*
a*b^3*c^2 + 16*a^2*b*c^3)*x^3 + (b^6 - 6*a*b^4*c + 32*a^3*c^3)*x^2 + 2*(a*b^5 - 8*a^2*b^3*c + 16*a^3*b*c^2)*x)
*sqrt((512*c^5*d^5 - 1280*b*c^4*d^4*e + 160*(7*b^2*c^3 + 4*a*c^4)*d^3*e^2 - 80*(5*b^3*c^2 + 12*a*b*c^3)*d^2*e^
3 + 10*(5*b^4*c + 40*a*b^2*c^2 + 16*a^2*c^3)*d*e^4 - (b^5 + 40*a*b^3*c + 80*a^2*b*c^2)*e^5 + ((b^10*c - 20*a*b
^8*c^2 + 160*a^2*b^6*c^3 - 640*a^3*b^4*c^4 + 12...

________________________________________________________________________________________

Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)**(3/2)/(c*x**2+b*x+a)**3,x)

[Out]

Timed out

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 1452 vs. \(2 (396) = 792\).
time = 2.97, size = 1452, normalized size = 3.29 \begin {gather*} -\frac {3 \, {\left (16 \, \sqrt {b^{2} - 4 \, a c} c^{3} d^{2} + 4 \, {\left (b^{2} c^{2} - 4 \, a c^{3} - 4 \, \sqrt {b^{2} - 4 \, a c} b c^{2}\right )} d e - {\left (2 \, b^{3} c - 8 \, a b c^{2} - {\left (3 \, b^{2} c + 4 \, a c^{2}\right )} \sqrt {b^{2} - 4 \, a c}\right )} e^{2}\right )} \sqrt {-4 \, c^{2} d + 2 \, {\left (b c - \sqrt {b^{2} - 4 \, a c} c\right )} e} \arctan \left (\frac {2 \, \sqrt {\frac {1}{2}} \sqrt {x e + d}}{\sqrt {-\frac {2 \, b^{4} c d - 16 \, a b^{2} c^{2} d + 32 \, a^{2} c^{3} d - b^{5} e + 8 \, a b^{3} c e - 16 \, a^{2} b c^{2} e + \sqrt {{\left (2 \, b^{4} c d - 16 \, a b^{2} c^{2} d + 32 \, a^{2} c^{3} d - b^{5} e + 8 \, a b^{3} c e - 16 \, a^{2} b c^{2} e\right )}^{2} - 4 \, {\left (b^{4} c d^{2} - 8 \, a b^{2} c^{2} d^{2} + 16 \, a^{2} c^{3} d^{2} - b^{5} d e + 8 \, a b^{3} c d e - 16 \, a^{2} b c^{2} d e + a b^{4} e^{2} - 8 \, a^{2} b^{2} c e^{2} + 16 \, a^{3} c^{2} e^{2}\right )} {\left (b^{4} c - 8 \, a b^{2} c^{2} + 16 \, a^{2} c^{3}\right )}}}{b^{4} c - 8 \, a b^{2} c^{2} + 16 \, a^{2} c^{3}}}}\right )}{4 \, {\left (2 \, {\left (b^{6} c - 12 \, a b^{4} c^{2} + 48 \, a^{2} b^{2} c^{3} - 64 \, a^{3} c^{4}\right )} d - {\left (b^{7} - 12 \, a b^{5} c + 48 \, a^{2} b^{3} c^{2} - 64 \, a^{3} b c^{3} - {\left (b^{6} - 12 \, a b^{4} c + 48 \, a^{2} b^{2} c^{2} - 64 \, a^{3} c^{3}\right )} \sqrt {b^{2} - 4 \, a c}\right )} e\right )} {\left | c \right |}} + \frac {3 \, {\left (16 \, \sqrt {b^{2} - 4 \, a c} c^{3} d^{2} - 4 \, {\left (b^{2} c^{2} - 4 \, a c^{3} + 4 \, \sqrt {b^{2} - 4 \, a c} b c^{2}\right )} d e + {\left (2 \, b^{3} c - 8 \, a b c^{2} + {\left (3 \, b^{2} c + 4 \, a c^{2}\right )} \sqrt {b^{2} - 4 \, a c}\right )} e^{2}\right )} \sqrt {-4 \, c^{2} d + 2 \, {\left (b c + \sqrt {b^{2} - 4 \, a c} c\right )} e} \arctan \left (\frac {2 \, \sqrt {\frac {1}{2}} \sqrt {x e + d}}{\sqrt {-\frac {2 \, b^{4} c d - 16 \, a b^{2} c^{2} d + 32 \, a^{2} c^{3} d - b^{5} e + 8 \, a b^{3} c e - 16 \, a^{2} b c^{2} e - \sqrt {{\left (2 \, b^{4} c d - 16 \, a b^{2} c^{2} d + 32 \, a^{2} c^{3} d - b^{5} e + 8 \, a b^{3} c e - 16 \, a^{2} b c^{2} e\right )}^{2} - 4 \, {\left (b^{4} c d^{2} - 8 \, a b^{2} c^{2} d^{2} + 16 \, a^{2} c^{3} d^{2} - b^{5} d e + 8 \, a b^{3} c d e - 16 \, a^{2} b c^{2} d e + a b^{4} e^{2} - 8 \, a^{2} b^{2} c e^{2} + 16 \, a^{3} c^{2} e^{2}\right )} {\left (b^{4} c - 8 \, a b^{2} c^{2} + 16 \, a^{2} c^{3}\right )}}}{b^{4} c - 8 \, a b^{2} c^{2} + 16 \, a^{2} c^{3}}}}\right )}{4 \, {\left (2 \, {\left (b^{6} c - 12 \, a b^{4} c^{2} + 48 \, a^{2} b^{2} c^{3} - 64 \, a^{3} c^{4}\right )} d - {\left (b^{7} - 12 \, a b^{5} c + 48 \, a^{2} b^{3} c^{2} - 64 \, a^{3} b c^{3} + {\left (b^{6} - 12 \, a b^{4} c + 48 \, a^{2} b^{2} c^{2} - 64 \, a^{3} c^{3}\right )} \sqrt {b^{2} - 4 \, a c}\right )} e\right )} {\left | c \right |}} + \frac {24 \, {\left (x e + d\right )}^{\frac {7}{2}} c^{3} d e - 72 \, {\left (x e + d\right )}^{\frac {5}{2}} c^{3} d^{2} e + 72 \, {\left (x e + d\right )}^{\frac {3}{2}} c^{3} d^{3} e - 24 \, \sqrt {x e + d} c^{3} d^{4} e - 12 \, {\left (x e + d\right )}^{\frac {7}{2}} b c^{2} e^{2} + 72 \, {\left (x e + d\right )}^{\frac {5}{2}} b c^{2} d e^{2} - 108 \, {\left (x e + d\right )}^{\frac {3}{2}} b c^{2} d^{2} e^{2} + 48 \, \sqrt {x e + d} b c^{2} d^{3} e^{2} - 19 \, {\left (x e + d\right )}^{\frac {5}{2}} b^{2} c e^{3} + 4 \, {\left (x e + d\right )}^{\frac {5}{2}} a c^{2} e^{3} + 46 \, {\left (x e + d\right )}^{\frac {3}{2}} b^{2} c d e^{3} + 32 \, {\left (x e + d\right )}^{\frac {3}{2}} a c^{2} d e^{3} - 27 \, \sqrt {x e + d} b^{2} c d^{2} e^{3} - 36 \, \sqrt {x e + d} a c^{2} d^{2} e^{3} - 5 \, {\left (x e + d\right )}^{\frac {3}{2}} b^{3} e^{4} - 16 \, {\left (x e + d\right )}^{\frac {3}{2}} a b c e^{4} + 3 \, \sqrt {x e + d} b^{3} d e^{4} + 36 \, \sqrt {x e + d} a b c d e^{4} - 3 \, \sqrt {x e + d} a b^{2} e^{5} - 12 \, \sqrt {x e + d} a^{2} c e^{5}}{4 \, {\left (b^{4} - 8 \, a b^{2} c + 16 \, a^{2} c^{2}\right )} {\left ({\left (x e + d\right )}^{2} c - 2 \, {\left (x e + d\right )} c d + c d^{2} + {\left (x e + d\right )} b e - b d e + a e^{2}\right )}^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)^(3/2)/(c*x^2+b*x+a)^3,x, algorithm="giac")

[Out]

-3/4*(16*sqrt(b^2 - 4*a*c)*c^3*d^2 + 4*(b^2*c^2 - 4*a*c^3 - 4*sqrt(b^2 - 4*a*c)*b*c^2)*d*e - (2*b^3*c - 8*a*b*
c^2 - (3*b^2*c + 4*a*c^2)*sqrt(b^2 - 4*a*c))*e^2)*sqrt(-4*c^2*d + 2*(b*c - sqrt(b^2 - 4*a*c)*c)*e)*arctan(2*sq
rt(1/2)*sqrt(x*e + d)/sqrt(-(2*b^4*c*d - 16*a*b^2*c^2*d + 32*a^2*c^3*d - b^5*e + 8*a*b^3*c*e - 16*a^2*b*c^2*e
+ sqrt((2*b^4*c*d - 16*a*b^2*c^2*d + 32*a^2*c^3*d - b^5*e + 8*a*b^3*c*e - 16*a^2*b*c^2*e)^2 - 4*(b^4*c*d^2 - 8
*a*b^2*c^2*d^2 + 16*a^2*c^3*d^2 - b^5*d*e + 8*a*b^3*c*d*e - 16*a^2*b*c^2*d*e + a*b^4*e^2 - 8*a^2*b^2*c*e^2 + 1
6*a^3*c^2*e^2)*(b^4*c - 8*a*b^2*c^2 + 16*a^2*c^3)))/(b^4*c - 8*a*b^2*c^2 + 16*a^2*c^3)))/((2*(b^6*c - 12*a*b^4
*c^2 + 48*a^2*b^2*c^3 - 64*a^3*c^4)*d - (b^7 - 12*a*b^5*c + 48*a^2*b^3*c^2 - 64*a^3*b*c^3 - (b^6 - 12*a*b^4*c
+ 48*a^2*b^2*c^2 - 64*a^3*c^3)*sqrt(b^2 - 4*a*c))*e)*abs(c)) + 3/4*(16*sqrt(b^2 - 4*a*c)*c^3*d^2 - 4*(b^2*c^2
- 4*a*c^3 + 4*sqrt(b^2 - 4*a*c)*b*c^2)*d*e + (2*b^3*c - 8*a*b*c^2 + (3*b^2*c + 4*a*c^2)*sqrt(b^2 - 4*a*c))*e^2
)*sqrt(-4*c^2*d + 2*(b*c + sqrt(b^2 - 4*a*c)*c)*e)*arctan(2*sqrt(1/2)*sqrt(x*e + d)/sqrt(-(2*b^4*c*d - 16*a*b^
2*c^2*d + 32*a^2*c^3*d - b^5*e + 8*a*b^3*c*e - 16*a^2*b*c^2*e - sqrt((2*b^4*c*d - 16*a*b^2*c^2*d + 32*a^2*c^3*
d - b^5*e + 8*a*b^3*c*e - 16*a^2*b*c^2*e)^2 - 4*(b^4*c*d^2 - 8*a*b^2*c^2*d^2 + 16*a^2*c^3*d^2 - b^5*d*e + 8*a*
b^3*c*d*e - 16*a^2*b*c^2*d*e + a*b^4*e^2 - 8*a^2*b^2*c*e^2 + 16*a^3*c^2*e^2)*(b^4*c - 8*a*b^2*c^2 + 16*a^2*c^3
)))/(b^4*c - 8*a*b^2*c^2 + 16*a^2*c^3)))/((2*(b^6*c - 12*a*b^4*c^2 + 48*a^2*b^2*c^3 - 64*a^3*c^4)*d - (b^7 - 1
2*a*b^5*c + 48*a^2*b^3*c^2 - 64*a^3*b*c^3 + (b^6 - 12*a*b^4*c + 48*a^2*b^2*c^2 - 64*a^3*c^3)*sqrt(b^2 - 4*a*c)
)*e)*abs(c)) + 1/4*(24*(x*e + d)^(7/2)*c^3*d*e - 72*(x*e + d)^(5/2)*c^3*d^2*e + 72*(x*e + d)^(3/2)*c^3*d^3*e -
 24*sqrt(x*e + d)*c^3*d^4*e - 12*(x*e + d)^(7/2)*b*c^2*e^2 + 72*(x*e + d)^(5/2)*b*c^2*d*e^2 - 108*(x*e + d)^(3
/2)*b*c^2*d^2*e^2 + 48*sqrt(x*e + d)*b*c^2*d^3*e^2 - 19*(x*e + d)^(5/2)*b^2*c*e^3 + 4*(x*e + d)^(5/2)*a*c^2*e^
3 + 46*(x*e + d)^(3/2)*b^2*c*d*e^3 + 32*(x*e + d)^(3/2)*a*c^2*d*e^3 - 27*sqrt(x*e + d)*b^2*c*d^2*e^3 - 36*sqrt
(x*e + d)*a*c^2*d^2*e^3 - 5*(x*e + d)^(3/2)*b^3*e^4 - 16*(x*e + d)^(3/2)*a*b*c*e^4 + 3*sqrt(x*e + d)*b^3*d*e^4
 + 36*sqrt(x*e + d)*a*b*c*d*e^4 - 3*sqrt(x*e + d)*a*b^2*e^5 - 12*sqrt(x*e + d)*a^2*c*e^5)/((b^4 - 8*a*b^2*c +
16*a^2*c^2)*((x*e + d)^2*c - 2*(x*e + d)*c*d + c*d^2 + (x*e + d)*b*e - b*d*e + a*e^2)^2)

________________________________________________________________________________________

Mupad [B]
time = 21.97, size = 2500, normalized size = 5.67 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((d + e*x)^(3/2)/(a + b*x + c*x^2)^3,x)

[Out]

log((27*c^3*e^3*(b*e - 2*c*d)*(5*b^4*e^4 + 256*c^4*d^4 + 16*a^2*c^2*e^4 + 192*a*c^3*d^2*e^2 + 336*b^2*c^2*d^2*
e^2 + 40*a*b^2*c*e^4 - 512*b*c^3*d^3*e - 80*b^3*c*d*e^3 - 192*a*b*c^2*d*e^3))/(16*(4*a*c - b^2)^6) - (3*2^(1/2
)*((3*2^(1/2)*((3*c^2*e^3*(b^2*e^2 + 8*c^2*d^2 + 4*a*c*e^2 - 8*b*c*d*e))/(4*a*c - b^2) - (3*2^(1/2)*c^2*e^2*(4
*a*c - b^2)*(b*e - 2*c*d)*(d + e*x)^(1/2)*(-(b^15*e^5 + e^5*(-(4*a*c - b^2)^15)^(1/2) + 524288*a^5*c^10*d^5 -
512*b^10*c^5*d^5 + 10240*a*b^8*c^6*d^5 - 81920*a^7*b*c^7*e^5 + 163840*a^7*c^8*d*e^4 + 1280*b^11*c^4*d^4*e - 81
920*a^2*b^6*c^7*d^5 + 327680*a^3*b^4*c^8*d^5 - 655360*a^4*b^2*c^9*d^5 - 560*a^2*b^11*c^2*e^5 + 4160*a^3*b^9*c^
3*e^5 - 11520*a^4*b^7*c^4*e^5 - 1024*a^5*b^5*c^5*e^5 + 61440*a^6*b^3*c^6*e^5 + 655360*a^6*c^9*d^3*e^2 - 1120*b
^12*c^3*d^3*e^2 + 400*b^13*c^2*d^2*e^3 + 20*a*b^13*c*e^5 - 50*b^14*c*d*e^4 - 166400*a^2*b^8*c^5*d^3*e^2 + 4480
0*a^2*b^9*c^4*d^2*e^3 + 614400*a^3*b^6*c^6*d^3*e^2 - 102400*a^3*b^7*c^5*d^2*e^3 - 1024000*a^4*b^4*c^7*d^3*e^2
- 102400*a^4*b^5*c^6*d^2*e^3 + 327680*a^5*b^2*c^8*d^3*e^2 + 819200*a^5*b^3*c^7*d^2*e^3 - 25600*a*b^9*c^5*d^4*e
 + 600*a*b^12*c^2*d*e^4 - 1310720*a^5*b*c^9*d^4*e + 21760*a*b^10*c^4*d^3*e^2 - 7040*a*b^11*c^3*d^2*e^3 + 20480
0*a^2*b^7*c^6*d^4*e - 160*a^2*b^10*c^3*d*e^4 - 819200*a^3*b^5*c^7*d^4*e - 28800*a^3*b^8*c^4*d*e^4 + 1638400*a^
4*b^3*c^8*d^4*e + 166400*a^4*b^6*c^5*d*e^4 - 358400*a^5*b^4*c^6*d*e^4 - 983040*a^6*b*c^8*d^2*e^3 + 204800*a^6*
b^2*c^7*d*e^4)/((4*a*c - b^2)^10*(a*e^2 + c*d^2 - b*d*e)))^(1/2))/2)*(-(b^15*e^5 + e^5*(-(4*a*c - b^2)^15)^(1/
2) + 524288*a^5*c^10*d^5 - 512*b^10*c^5*d^5 + 10240*a*b^8*c^6*d^5 - 81920*a^7*b*c^7*e^5 + 163840*a^7*c^8*d*e^4
 + 1280*b^11*c^4*d^4*e - 81920*a^2*b^6*c^7*d^5 + 327680*a^3*b^4*c^8*d^5 - 655360*a^4*b^2*c^9*d^5 - 560*a^2*b^1
1*c^2*e^5 + 4160*a^3*b^9*c^3*e^5 - 11520*a^4*b^7*c^4*e^5 - 1024*a^5*b^5*c^5*e^5 + 61440*a^6*b^3*c^6*e^5 + 6553
60*a^6*c^9*d^3*e^2 - 1120*b^12*c^3*d^3*e^2 + 400*b^13*c^2*d^2*e^3 + 20*a*b^13*c*e^5 - 50*b^14*c*d*e^4 - 166400
*a^2*b^8*c^5*d^3*e^2 + 44800*a^2*b^9*c^4*d^2*e^3 + 614400*a^3*b^6*c^6*d^3*e^2 - 102400*a^3*b^7*c^5*d^2*e^3 - 1
024000*a^4*b^4*c^7*d^3*e^2 - 102400*a^4*b^5*c^6*d^2*e^3 + 327680*a^5*b^2*c^8*d^3*e^2 + 819200*a^5*b^3*c^7*d^2*
e^3 - 25600*a*b^9*c^5*d^4*e + 600*a*b^12*c^2*d*e^4 - 1310720*a^5*b*c^9*d^4*e + 21760*a*b^10*c^4*d^3*e^2 - 7040
*a*b^11*c^3*d^2*e^3 + 204800*a^2*b^7*c^6*d^4*e - 160*a^2*b^10*c^3*d*e^4 - 819200*a^3*b^5*c^7*d^4*e - 28800*a^3
*b^8*c^4*d*e^4 + 1638400*a^4*b^3*c^8*d^4*e + 166400*a^4*b^6*c^5*d*e^4 - 358400*a^5*b^4*c^6*d*e^4 - 983040*a^6*
b*c^8*d^2*e^3 + 204800*a^6*b^2*c^7*d*e^4)/((4*a*c - b^2)^10*(a*e^2 + c*d^2 - b*d*e)))^(1/2))/16 + (9*c^3*e^2*(
d + e*x)^(1/2)*(13*b^4*e^4 + 256*c^4*d^4 + 16*a^2*c^2*e^4 + 64*a*c^3*d^2*e^2 + 368*b^2*c^2*d^2*e^2 + 8*a*b^2*c
*e^4 - 512*b*c^3*d^3*e - 112*b^3*c*d*e^3 - 64*a*b*c^2*d*e^3))/(4*(4*a*c - b^2)^4))*(-(b^15*e^5 + e^5*(-(4*a*c
- b^2)^15)^(1/2) + 524288*a^5*c^10*d^5 - 512*b^10*c^5*d^5 + 10240*a*b^8*c^6*d^5 - 81920*a^7*b*c^7*e^5 + 163840
*a^7*c^8*d*e^4 + 1280*b^11*c^4*d^4*e - 81920*a^2*b^6*c^7*d^5 + 327680*a^3*b^4*c^8*d^5 - 655360*a^4*b^2*c^9*d^5
 - 560*a^2*b^11*c^2*e^5 + 4160*a^3*b^9*c^3*e^5 - 11520*a^4*b^7*c^4*e^5 - 1024*a^5*b^5*c^5*e^5 + 61440*a^6*b^3*
c^6*e^5 + 655360*a^6*c^9*d^3*e^2 - 1120*b^12*c^3*d^3*e^2 + 400*b^13*c^2*d^2*e^3 + 20*a*b^13*c*e^5 - 50*b^14*c*
d*e^4 - 166400*a^2*b^8*c^5*d^3*e^2 + 44800*a^2*b^9*c^4*d^2*e^3 + 614400*a^3*b^6*c^6*d^3*e^2 - 102400*a^3*b^7*c
^5*d^2*e^3 - 1024000*a^4*b^4*c^7*d^3*e^2 - 102400*a^4*b^5*c^6*d^2*e^3 + 327680*a^5*b^2*c^8*d^3*e^2 + 819200*a^
5*b^3*c^7*d^2*e^3 - 25600*a*b^9*c^5*d^4*e + 600*a*b^12*c^2*d*e^4 - 1310720*a^5*b*c^9*d^4*e + 21760*a*b^10*c^4*
d^3*e^2 - 7040*a*b^11*c^3*d^2*e^3 + 204800*a^2*b^7*c^6*d^4*e - 160*a^2*b^10*c^3*d*e^4 - 819200*a^3*b^5*c^7*d^4
*e - 28800*a^3*b^8*c^4*d*e^4 + 1638400*a^4*b^3*c^8*d^4*e + 166400*a^4*b^6*c^5*d*e^4 - 358400*a^5*b^4*c^6*d*e^4
 - 983040*a^6*b*c^8*d^2*e^3 + 204800*a^6*b^2*c^7*d*e^4)/((4*a*c - b^2)^10*(a*e^2 + c*d^2 - b*d*e)))^(1/2))/16)
*(-(9*(b^15*e^5 + e^5*(-(4*a*c - b^2)^15)^(1/2) + 524288*a^5*c^10*d^5 - 512*b^10*c^5*d^5 + 10240*a*b^8*c^6*d^5
 - 81920*a^7*b*c^7*e^5 + 163840*a^7*c^8*d*e^4 + 1280*b^11*c^4*d^4*e - 81920*a^2*b^6*c^7*d^5 + 327680*a^3*b^4*c
^8*d^5 - 655360*a^4*b^2*c^9*d^5 - 560*a^2*b^11*c^2*e^5 + 4160*a^3*b^9*c^3*e^5 - 11520*a^4*b^7*c^4*e^5 - 1024*a
^5*b^5*c^5*e^5 + 61440*a^6*b^3*c^6*e^5 + 655360*a^6*c^9*d^3*e^2 - 1120*b^12*c^3*d^3*e^2 + 400*b^13*c^2*d^2*e^3
 + 20*a*b^13*c*e^5 - 50*b^14*c*d*e^4 - 166400*a^2*b^8*c^5*d^3*e^2 + 44800*a^2*b^9*c^4*d^2*e^3 + 614400*a^3*b^6
*c^6*d^3*e^2 - 102400*a^3*b^7*c^5*d^2*e^3 - 1024000*a^4*b^4*c^7*d^3*e^2 - 102400*a^4*b^5*c^6*d^2*e^3 + 327680*
a^5*b^2*c^8*d^3*e^2 + 819200*a^5*b^3*c^7*d^2*e^3 - 25600*a*b^9*c^5*d^4*e + 600*a*b^12*c^2*d*e^4 - 1310720*a^5*
b*c^9*d^4*e + 21760*a*b^10*c^4*d^3*e^2 - 7040*a*b^11*c^3*d^2*e^3 + 204800*a^2*b^7*c^6*d^4*e - 160*a^2*b^10*c^3
*d*e^4 - 819200*a^3*b^5*c^7*d^4*e - 28800*a^3*b^8*c^4*d*e^4 + 1638400*a^4*b^3*c^8*d^4*e + 166400*a^4*b^6*c^5*d
*e^4 - 358400*a^5*b^4*c^6*d*e^4 - 983040*a^6*b*...

________________________________________________________________________________________